SUBDIRS=nat-assoc nth-ancestor
include ../../../include/kframework/ktest-group.mak
